[IA64] panic_domain should only crash the domain
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Thu, 13 Apr 2006 20:44:39 +0000 (14:44 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Thu, 13 Apr 2006 20:44:39 +0000 (14:44 -0600)
commita4b5cad034bcf1a1503428f564411c3e92cd9c4c
treebb400dbc8047d2481fa875f3c4c6e9521a7b4bf3
parentc6a312c4ffa7c5fad67de895f93a1fc5cd7d991f
[IA64] panic_domain should only crash the domain

Don't crash Xen in case of panic_domain.  Simply crash the domain.

Signed-off-by: Tristan Gingold <tristan.gingold@bull.net>
xen/arch/ia64/xen/xenmisc.c